The Features of Metrological Verification of Cyber-Physical Systems
نویسندگان
چکیده
منابع مشابه
Integrative Challenges of Cyber-Physical Systems Verification
Cyber-physical systems integrate cyber elements with physical elements, thereby combining the computing and physics regimes. This integration has exciting prospects as a basis for advanced systems that solve big technical, societal, economical, and ecological challenges. When designing, understanding, and analyzing these cyber-physical systems, however, we also face big integrative challenges. ...
متن کاملFormal Verification of Transportation Cyber Physical Systems
ion is the process of simplifying a simulation model to a more abstract (for example, reduced order) model for use in verification and other analysis. Performing automated model abstraction of large high-dimensional hybrid systems, and characterizing and quantifying the approximation and/or the abstraction function used to create the simpler model are challenging technical tasks. The abstract f...
متن کاملTowards Verification of Uncertain Cyber-Physical Systems
Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity and scalability. For numerical simulation, uncertain behavior can hardly be covered in a comprehensive way which motivates the use of symbolic methods. The pap...
متن کاملthe impact of skopos on syntactic features of the target text
the present study is an experimental case study which investigates the impacts, if any, of skopos on syntactic features of the target text. two test groups each consisting of 10 ma students translated a set of sentences selected from advertising texts in the operative and informative mode. the resulting target texts were then statistically analyzed in terms of the number of words, phrases, si...
15 صفحه اولAn Approach to the Verification of Cyber Physical Systems
Cyber-physical systems (CPS) are systems that combine a physical system with an embedded information processing system such that the resulting system has novel capabilities that could not be achieved by either the physical or the computational entity alone. Reachability study has become the most basic and important challenging subject of Cyber physical systems. In this paper present a reachabil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Bulletin of UNFU
سال: 2016
ISSN: 2519-2477,1994-7836
DOI: 10.15421/40260553